On the Power of Languages for the Manipulation of Complex Objects
نویسنده
چکیده
Various models and languages for describing and manipulating hierarchically structured data have been proposed. Algebraic, calculus-based and logic-programming oriented languages have all been considered. This paper presents a general model for complex objects, and languages for it based on the three paradigms. The algebraic language generalizes those presented in the literature; it is shown to be related to the functional style of programming advocated by Backus. The notion of domain independence familiar from relational databases is deened, and syntactic restrictions (referred to as safety conditions) on calculus queries are formulated, that guarantee domain independence. The main results are: The domain-independent calculus, the safe calculus, the algebra, and the logic-programming oriented language have equivalent expressive power. In particular, recursive queries, such as the transitive closure, can be expressed in each of the languages. For this result, the algebra needs the powerset operation. A more restricted version of safety is presented, such that the restricted safe calculus is equivalent to the algebra without the powerset. The results are extended to the case where arbitrary functions and predicates are used in the languages.
منابع مشابه
Task Complexity Manipulation and Accuracy in Writing Performance
This study aimed to investigate the impact of task sequencing, along +/- reasoning demands dimension, on writing task performance in terms of accuracy. The study was motivated by Robinson’s Cognition Hypothesis (CH) as well as previous studies investigating the relationships between task complexity and second language production. The participants of the study were 90 intermediate students at t...
متن کاملInvestigating Ideological Manipulation in Subtitling Based on Farahzad’s CDA Model: A Case Study of The Salesman
Translation plays an important role in conveying and manipulating ideologies. Accordingly, this study sought to analyze the ideological elements in the English subtitles of the Persian movie The Salesman. The framework to find the driven ideological strategies in the translation of the Persian audio of the same movie was based on the critical discourse analysis (...
متن کاملGrasp analysis of a four-fingered robotic hand based on Matlab simmechanics
The structure of the human hand is a complex design comprising of various bones, joints, tendons, and muscles functioning together in order to produce the desired motion. It becomes a challenging task to develop a robotic hand replicating the capabilities of the human hand. In this paper, the analysis of the four-fingered robotic hand is carried out where the tendon wires and a spring return me...
متن کاملThe Role of Metaphorical Language in the Critical Discourse Analysis of Western Political Texts
The present study was carried out with the purpose of examining the role of metaphorical language in the critical discourse analysis (CDA) of political texts based on the CDA framework and attitudinal model of appraisal theory. According to CDA, the categories of deception, power relations, manipulation, authority, legitimation, and ideology were considered in the analysis of the texts an...
متن کاملPlanning Arm with 5 Degrees of Freedom for Moving Objects Based on Geometric Coordinates and Color
Skilled mechanical arms of consanguine relationship formed by joints the relative motion of the adjacent interfaces enable, have been connected. Ability to perform a variety of pre-programmed robotic manipulator in various industries. Skilled mechanical arms in recent years as a significant progress has been completed. House repair and easier to work with them as well and fit and optimal relati...
متن کاملDesign and Manipulation 3D Imaging System by using Photodiode Grid
Introduction: Radiation imaging is one of the applicable methods in diagnostic medicine and nondestructive testing for industrial applications. In nondestructive 3D imaging, in addition to the radiation source, there is a requirement for a suitable detection system, data acquisition system, mechanical sections for moving objects, reconstruction algorithm and finally a computer for processing an...
متن کامل